Automatic Test Timing Assignment for RAMs Using Linear Programming
نویسندگان
چکیده
منابع مشابه
automatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولAutomatic Assessment of Programming assignment
In today’s world study of computer’s language is more important. Effective and good programming skills are need full all computer science students. They can be master in programming, only through intensive exercise practices. Due to day by day increasing number of students in the class, the assessment of programming exercises leads to extensive workload for teacher/instructor, particularly if i...
متن کاملTest generation for hardware-software covalidation using non-linear programming
Hardware-software covalidation involves the cosimulation of a system description with a functional test sequence. Functional test generation is heavily dependent on manual interaction, making it a time-consuming and expensive process. We present an automatic test generation technique to detect design errors in hardwaresoftware systems. The design errors targeted are those caused by incorrect sy...
متن کاملAutomatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees
This paper presents an approach to automatic unit test data generation for branch coverage using mixed-integer linear programming, execution trees, and symbolic execution. This approach can be useful to both general testing and regression testing after software maintenance and reengineering activities. Several strategies, including original algorithms, to move towards practical test data genera...
متن کاملTiming analysis of scenario-based specifications using linear programming
Scenario-based specifications such as UML interaction models offer an intuitive and visual way of describing design requirements, and are playing an increasingly important role in the design of software systems. In this paper, for specification and verification of real-time systems, we introduce more general and expressive timing constraints in UML sequence diagrams, and give an approach to tim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: VLSI Design
سال: 1999
ISSN: 1065-514X,1563-5171
DOI: 10.1155/1999/54564